matchComp is package{

  peel(list{},list{}) is list{};
  peel(list{X;..XX},list{X;..YY}) is list{X;..peel(XX,YY)};
  peel(list{X;..XX},list{Y;..YY}) where X!=Y is peel(XX,YY);
  
  main() do {
    logMsg(info,"peel of [1,2,3],[1,3,3] is $(peel(list{1;2;3},list{1;3;3}))");
    assert peel(list{1;2;3},list{1;3;3})=list{1;3}
  }
}